implicit implication